Eliminate a race to create info/ during the build
authorRob Browning <rlb@defaultvalue.org>
Thu, 23 Oct 2014 15:37:51 +0000 (10:37 -0500)
committerRob Browning <rlb@defaultvalue.org>
Thu, 23 Oct 2014 15:37:55 +0000 (10:37 -0500)
commitd7d933ba0bc03c65ad2ccac594eae4abdef38796
treee0ca8aa1a6c799c5ccd5ebb97d2727e6cc1c2f66
parentc98efac903c6dba2357d9cfc2767a44902bf186b
parentab7f768c51efc79f100d01ce4f3d6c5bad12be32
Eliminate a race to create info/ during the build

Add 0008-A-race-to-create-info-has-been-eliminated.patch with the
relevant changes.

Thanks to Paul Eggert <eggert@cs.ucla.edu> for tracking down the
problem and providing the fix.
debian/.git-dpm
debian/patches/0008-A-race-to-create-info-has-been-eliminated.patch
debian/patches/series